World of Books - Find your book here

Opportunities and Constraints of Parallel Computing

Opportunities and Constraints of Parallel Computing

Preview

Tom Leighton Laboratory for Computer Science Massachusetts Institute of Technology 545 Technology Square Cambridge, MA 02139 Bruce Maggs Laboratory for Computer Science Massachusetts Institute of Technology 545 Technology ...
Shared Memory Multiprocessing

Shared Memory Multiprocessing

Preview

Anant Agarwal Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA Gail A. Alverson Department of Computer Science and Engineering University of Washington Seattle, WA Yoshihiro Asano NEC ...
Laboratory for Computer Science Progress Report

Laboratory for Computer Science Progress Report

Massachusetts Institute of Technology. Laboratory for Computer Science

John Kubiatowicz, David Chaiken, Anant Agarwal, Arthur Altman, Jonathan Babb , David Kranz, Beng-Hong Lim, Ken Mackenzie, John Piscitello, and Donald Yeung. The Alewife CMMU: Addressing the multiprocessor communications gap.
Laboratory for Computer Science Progress Report

Laboratory for Computer Science Progress Report

Massachusetts Institute of Technology. Laboratory for Computer Science

Barbara Liskov. Efficient and reliable storage in the interactive World-Wide metacom- puter. DARPA Meeting, Arlington, VA, June 1996. Barbara Liskov. Integrating persistent object bases with communication (Keynote Address). 15th Annual ...
Distributed Algorithms: 11th International Workshop, WDAG ...

Distributed Algorithms: 11th International Workshop, WDAG ...

Marios Mavronicolas

R. De Frisco, Revisiting the Paxos algorithm, M.S. Thesis, Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, MA, June 1997. Technical Report MIT-LCS-TR-717, Lab. for Computer Science, MIT, Cambridge,  ...
Architects of the Information Society: 35 Years of the ...

Architects of the Information Society: 35 Years of the ...

Simson Garfinkel

Thirty-Five Years of tjhe Laboratory for Com Simson L. Garl'inkel edited by Hal Abelson The Massachusetts Institute of Technology's Laboratory for Computer Science (LCS) has been responsible 1'or some ol'lhc mosi significant technological ...
Formal Methods for Components and Objects: First ...

Formal Methods for Components and Objects: First ...

Preview

Gary Todd Leavens. Verifying object-oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis. K. Rustan M. Leino. A myth ...
Specification of Parallel Algorithms

Specification of Parallel Algorithms

Guy E. Blelloch, K. Mani Chandy, and Suresh Jagannathan

Also, in Technical Memo MIT/LCS/TM-373, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, November 1988. 18. N.A. Lynch and F.W. Vaandrager. Forward and backward simulations - Part I: Untimed  ...
ACM SIGPLAN Notices: A Monthly Publication of the Special ...

ACM SIGPLAN Notices: A Monthly Publication of the Special ...

More editions

Springer- Verlag, New York, N.Y., 1993. [Lea89] Gary Todd Leavens. Verifying Object-Oriented Programs that use Subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989.
ICDT '88: 2nd International Conference on Database Theory, ...

ICDT '88: 2nd International Conference on Database Theory, ...

Marc Gyssens

An expanded version is available as Technical Report MIT/LCS/TR-387, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., April 1987. [Milner] Milner, R., "A Calculus of Communicating Systems," ...
OOPSLA ECOOP '90 proceedings: Conference on object-oriented ...

OOPSLA ECOOP '90 proceedings: Conference on object-oriented ...

ACM Special Interest Group on Programming Languages

[Lea89] Gary Todd Leavens. Verifying object- oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis. [ Lea90] Gary T.
Disordered Materials: Science and Technology

Disordered Materials: Science and Technology

Stadford R. Ovshinsky

Series editors David Adlert Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the City University of New York Brooklyn,  ...
Algorithms for Synthetic Aperture Radar Imagery V: 14-17 ...

Algorithms for Synthetic Aperture Radar Imagery V: 14-17 ...

More editions

646 Target Detection Theory for Stripmap SAR using Physics-Based Multiresolution Signatures Chen-Pang Yeang and Jeffrey H. Shapiro Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science and ...
The National Academies Keck Futures Initiative: The Future ...

The National Academies Keck Futures Initiative: The Future ...

The National Academies

... Massachusetts Institute of Technology • Helen Vlassara, Mount Sinai School of Medicine • Mary White, Centers for Disease Control and Prevention • Allyson Collins, Massachusetts Institute of Technology TASK GROuP SuMMARy By allyson ...
Encyclopedia of Computer Science and Technology: Volume 45 - ...

Encyclopedia of Computer Science and Technology: Volume 45 - ...

Preview

This supplement to the Encyclopedia of Computer Science and Technology looks at subjects ranging from algorithmic learning theory to statistical language modelling.
Distributed Computing: 20th International Symposium, DISC ...

Distributed Computing: 20th International Symposium, DISC ...

Preview

Organization. Committee. Conference Chairs Lenka Carr-Motyckova, LUT, Lule ̇a Tekniska Universitet Seif Haridi, SICS, Swedish Institute of Computer Science AB Program Chair Shlomi Dolev, Ben-Gurion University of the Negev 20th Anniversary Celebration Chair Michel Raynal IRISA, Université de Rennes Web Chair Heleèn Martìn, SICS, Swedish Institute of Computer Science AB Finance Chair Charlotta Jörsäter, SICS, Swedish Institute of Computer Science AB ...
Disordered Semiconductors

Disordered Semiconductors

Marc A. Kastner

Institute for Amorphous Studies Series Series editors David Adler Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the ...
Unconventional Photoactive Solids

Unconventional Photoactive Solids

Harvey Scher

Institute for Amorphous Studies Series Series editors David Adlert Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the ...
Localization and Metal-Insulator Transitions

Localization and Metal-Insulator Transitions

Preview

Institute for Amorphous Studies Series Series editors David Adler Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the ...
Frontiers of Engineering: Reports on Leading Edge ...

Frontiers of Engineering: Reports on Leading Edge ...

National Academy of Engineering

LORNA J. GIBSON Department of Materials Science and Engineering Massachusetts Institute of Technology Cambridge, Massachusetts Cellular materials—in the form of either honeycombs, with two-dimensional prismatic cells , or foams, with ...
Disorder and Order in the Solid State: Concepts and Devices

Disorder and Order in the Solid State: Concepts and Devices

Preview

Series editors David Adlert Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies Bloomfield Hills, Michigan and Brooklyn College of the City University of New York Brooklyn,  ...
Encyclopedia of Computer Science and Technology

Encyclopedia of Computer Science and Technology

Harry Henderson

Presents an illustrated A-Z encyclopedia containing approximately 600 entries on computer and technology related topics.
Current Contents Address Directory: Science & technology

Current Contents Address Directory: Science & technology

Institute for Scientific Information

Names and addresses of authors who published in science and technology books and journals during the covered year.
RLE Progress Report

RLE Progress Report

Massachusetts Institute of Technology. Research Laboratory of Electronics

Microscopic Mechanisms Underlying Macroscopic Response of ASCI Materials Academic and Research Staff Professor Tomas A. Arias, Professor Sidney Yip, Dr . Vasily Bulatov, Dr. Andrew Pochinsky Graduate Students Wei Cai, Jinpeng ...
Physical Properties of Amorphous Materials

Physical Properties of Amorphous Materials

Preview

David Adler, Brian Schwartz, Martin C. Steele. Institute for Amorphous Studies Series Series editors David Adler Massachusetts Institute of Technology Cambridge, Massachusetts and Brian B. Schwartz Institute for Amorphous Studies ...

who called from an unknown number?